static typing
noun
°(computing programming) A system in which type checking is performed during compilation and not at run time, opposed to dynamic typing.